bounded quantification

有界量词限制